% user responds 'e' at TeX request for file name
\end


